Search Results
Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
Opening Presentation | ZuriHac 2022
ZuriHac 2023 — Opening Presentation & Project Pitches
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?” @ ZuriHac 2020
Alexis King - “Effects for Less” @ ZuriHac 2020
Haskell and InfoSec by Tobias Dammers - Advanced Track @ ZuriHac 2020
Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
Effect Handlers, Evidently (ICFP 2020)
A tour of linear types and linear base by Divesh Otwani
Andrej Bauer, University of Ljubljana
Write a GHC extension in 30 minutes by Richard Eisenberg
